大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Michael J. S. (Michael John Sebastian) 的图书(共8210本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Peled、 Doron A.、Wooldridge、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Handbook on Business Process Management 1 [electronic resource] : Introduction, Methods, and Information Systems

0
索取号：
作者：Brocke、 Jan vom.、Rosemann、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Foundations in Grammatical Evolution for Dynamic Environments [electronic resource]

0
索取号：
作者：Dempsey、 Ian.、O鈥橬eill、 Michael.、Brabazon、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Charge Injection Systems [electronic resource] : Phycical Principles, Experimental and Theoretical Work

0
索取号：
作者：Shrimpton、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, D眉sseldorf, Germany, February 16-19, 2009. Proceedings

0
索取号：
作者：Leuschel、 Michael.、Wehrheim、 Heike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Polymer Libraries [electronic resource]

0
索取号：
作者：Meier、 Michael A. R.、Webster、 Dean C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Macroeconomic Consequences of Demographic Change [electronic resource] : Modeling Issues and Applications

0
索取号：
作者：Rausch、 Sebastian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Natural Computing in Computational Finance [electronic resource] : Volume 2

0
索取号：
作者：Brabazon、 Anthony.、O鈥橬eill、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

0
索取号：
作者：Baldoni、 Matteo.、Son、 Tran Cao.、Riemsdijk、 M. Birna.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mastication Robots [electronic resource] : Biological Inspiration to Implementation

0
索取号：
作者：Xu、 Weiliang.、Bronlund、 John E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Visualizing Immunity [electronic resource]

0
索取号：
作者：Dustin、 Michael.、McGavern、 Dorian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

0
索取号：
作者：Seznec、 Andr茅.、Emer、 Joel.、O鈥橞oyle、 Michael.、Martonosi、 Margaret.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Design Requirements Engineering: A Ten-Year Perspective [electronic resource] : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

0
索取号：
作者：Lyytinen、 Kalle.、Loucopoulos、 Pericles.、Mylopoulos、 John.、Robinson、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Flag State Responsibility [electronic resource] : Historical Development and Contemporary Issues

0
索取号：
作者：Mansell、 John N. K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Handbook of Semantic Web Technologies [electronic resource]

0
索取号：
作者：Domingue、 John.、Fensel、 Dieter.、Hendler、 James A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.